Christel Baier: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

عام:

2008

اللغة:

english

ملف:

PDF, 17.08 MB

0 / 5.0

english, 2008

2

Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Pearson Studium

Alexander Asteroth, Christel Baier

عام:

2002

اللغة:

german

ملف:

PDF, 2.01 MB

0 / 0

german, 2002

3

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

عام:

2008

اللغة:

english

ملف:

PDF, 5.15 MB

0 / 5.0

english, 2008

4

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

عام:

2008

اللغة:

english

ملف:

PDF, 4.40 MB

0 / 5.0

english, 2008

5

Principles of Model Checking (Instructor Solution Manual, Solutions)

Principles of Model Checking (Instructor Solution Manual, Solutions)

Christel Baier, Joost-Pieter Katoen

عام:

2008

اللغة:

english

ملف:

PDF, 1005 KB

0 / 5.0

english, 2008

6

Foundations of Genetic Algorithms: 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

Foundations of Genetic Algorithms: 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Lenders, Christel Baier (auth.), Alden H. Wright, Michael D. Vose, Kenneth A. De Jong, Lothar M. Schmitt (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 3.14 MB

0 / 0

english, 2005

7

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Cesare Tinelli (eds.)

عام:

2015

اللغة:

english

ملف:

PDF, 19.20 MB

0 / 0

english, 2015

8

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Springer International Publishing

Christel Baier, Ugo Dal Lago

عام:

2018

اللغة:

english

ملف:

PDF, 16.99 MB

0 / 0

english, 2018

9

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Christel Baier & Ugo Dal Lago [Christel Baier and Ugo Dal Lago]

عام:

2018

اللغة:

english

ملف:

EPUB, 12.25 MB

0 / 0

english, 2018

10

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

عام:

2004

اللغة:

english

ملف:

PDF, 5.22 MB

0 / 0

english, 2004

11

Theoretische Informatik

Theoretische Informatik

Pearson Studium

Asteroth Alexander, Baier Christel

عام:

2002

اللغة:

german

ملف:

PDF, 2.08 MB

0 / 0

german, 2002

12

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 6.41 MB

0 / 0

english, 2000

13

CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 5.16 MB

0 / 0

english, 2006

14

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 4.46 MB

0 / 0

english, 2010

15

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

عام:

2008

اللغة:

english

ملف:

PDF, 17.06 MB

0 / 0

english, 2008

16

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Christel Baier & Ugo Dal Lago

عام:

2018

اللغة:

english

ملف:

PDF, 16.97 MB

0 / 0

english, 2018

17

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Springer International Publishing

Christel Baier, Luís Caires

عام:

2018

اللغة:

english

ملف:

PDF, 7.80 MB

0 / 0

english, 2018

18

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

عام:

2017

اللغة:

english

ملف:

PDF, 23.72 MB

0 / 0

english, 2017

19

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Verena Wolf (auth.), Paolo Ciancarini, Herbert Wiklicky (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 3.54 MB

0 / 0

english, 2006

20

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 8.87 MB

0 / 0

english, 2000

21

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 4.41 MB

0 / 0

english, 2010